41. پژوهشی در پیرامون مسئلهی تصمیم در منطق: طرح چند خوارزمیک تحلیلی - معنایی
المؤلف: ادیب سلطانی، میر شمس‌الدین، ۱۳۱۰-
المکتبة: كتابخانه مؤسسه آموزشي و پژوهشي امام خميني (ره) (قم)
موضوع: منطق ریاضی,گودل، قضیه
رده :
BC
۱۳۵
/
الف
۴
پ
۴
42. پژوهشی در پیرامون مسئلهی تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنایی
المؤلف: ادیب سلطانی، میرشمس الدین، ۱۳۱۰ -
المکتبة: (قم)
موضوع: منطق ریاضی,گودل، قضیه
رده :
BC
۱۳۵
/
الف
۴
پ
۴
43. پژوهشی در پیرامون مسئلهی تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنایی
المؤلف: / نوشته میرشمسالدین ادیبسلطانی.,ادیب سلطانی
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی,گودل، قضیه
رده :
BC
۱۳۵
/
ال
ف
۴
پ
۴ ۱۳۷۳
44. پژوهشی در پیرامون مسئلهی تصمیم در منطق: طرح چند خوارزمیک تحلیلی - معنایی
المؤلف: نوشته میرشمسالدین ادیب سلطانی
المکتبة: مدرسة نواب اللاهوتية العليا (خراسان رضوی)
موضوع: منطق ریاضی,گودل، قضیه
رده :
BC
۱۳۵
/
الف
۴،
پ
۴
45. پژوهشی در پیرامون مسئلهی تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنایی
المؤلف: / نوشته میرشمسالدین ادیب سلطانی,ص. ع. به‌انگلیسی:Mir Samseddin Adib-Soltani. An investigation of the decision problem in logic.,ادیب سلطانی
المکتبة: كتابخانه مدرسه عالي فقه و معارف اسلامي (حجتيه) (قم)
موضوع: منطق,گودل، قضیه
رده :
BC
۱۳۵
/
الف
۴
پ
۴
46. پژوهشی در پیرامون مسئلهی تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنایی
المؤلف: نوشته‌ی میرشمسالدین ادیب سلطانی
المکتبة: (قم)
موضوع: منطق ریاضی,گودل، قضیه
رده :
BC
۱۳۵
/
الف
۴
پ
۴
47. پژوهشی در پیرامون مسئلهی تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنایی
المؤلف: نوشته‌ی میرشمسالدین ادیبسلطانی
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: منطق ریاضی,گودل، قضیه
رده :
BC
،۱۳۵،
/
الف
۴،
پ
۴،۱۳۷۳
48. پژوهشی در پیرامون مسئلهی تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنایی
المؤلف: / نوشته میرشمسالدین ادیب سلطانی,ص. ع. به‌انگلیسی:Mir Samseddin Adib-Soltani. An investigation of the decision problem in logic.,ادیب سلطانی
المکتبة: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع: منطق,گودل، قضیه
رده :
BC
۱۳۵
/
الف
۴
پ
۴
49. پژوهشی در پیرامون مسئلهی تصمیم در منطق طرح چندخوارزمیک تحلیلی- معنایی
المؤلف: نوشته میر شمس‌الدین‌ادیب‌سلطا‌نی
المکتبة: مكتبة الشيخ بهائي (خراسان رضوی)
موضوع: منطق ریاضی,گودل، قضیه
رده :
BC
۱۳۵
/
الف
۴،
پ
۴
50. پژوهشي در تاريخ حدي, شيعه
المؤلف: نوشته ميرشمس الدين اديب سلطاني
المکتبة: كتابخانه عمومی شهید رجائی (خراسان رضوی)
موضوع: منطق رياضي حدي,- تاريخ گودل, قضيه Business administration محدثان‌شيعه
رده :
297
/29
م
645
پ
51. پژوهشي‌در تاريخ‌حدي,شيعه
المؤلف: نوشته ميرشمس الدين اديب سلطاني نوشته ميرشمس الدين اديب سلطاني نوشته ميرشمس الدين اديب سلطاني تاليف‌مجيد معارف
المکتبة: كتابخانه عمومی شهید باهنر (خراسان رضوی)
موضوع: منطق رياضي Business administration گودل, قضيه حدي,- تاريخ گودل, قضيه گودل, قضيه محدثان شيعه منطق رياضي منطق رياضي
رده :
297
/29
م
645
پ
52. قضيه گودل
المؤلف: / ارنست نيگل... [و ديگران],عنوان اصلي: Go del s proof, c2001
المکتبة: مکتبه الامام الرضا (ع) "سبزوار" (آستان القدس الرضوية) (خراسان رضوی)
موضوع: گودل، قضيه
رده :
۵۱۱
/
۳
ق
۶۷۹
53. قضیه گودل
المؤلف: / ارنست نیگل... [و دیگران]
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: گودل، قضیه
رده :
QA
۹
/
۶۵
/
ق
۶ ۱۳۹۳
54. قضيه گودل
المؤلف: / ارنست نيگل... [و ديگران],عنوان اصلي: Go del s proof, c2001
المکتبة: (خراسان رضوی)
موضوع: گودل، قضيه
رده :
۵۱۱
/
۳
ق
۶۷۹
55. قضیه گودل
المؤلف: ارنست نیگل... ]و دیگران[
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
۹
/
۶۵
/
ق
۶ ۱۳۹۹
56. قضیه گودل
المؤلف: نیگل، ارنست ۱۹۰۱ - م
المکتبة: (کلستان)
موضوع: گودل، قضیه
رده :
QA
۶۵
/
۹
/
ن
۹
ق
۶
57. قضیه گودل
المؤلف: / ارنست نیگل... [و دیگران]
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: گودل، قضیه
رده :
QA
۹
/
۶۵
/
ق
۶ ۱۳۹۳
58. قضیه گودل
المؤلف: / ارنست نیگل, جیمز ار. نیومان,ن‍اگ‍ل,Nagel
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: گودل، قضیه
رده :
QA
۹
/
۶۵
/
ن
۲
ق
۶
59. قضيه گودل
المؤلف: نيگل، ارنست
المکتبة: کتابخانه عمومی حسینیه ارشاد (طهران)
موضوع: گودل، قضيه
رده :
511
/3
ن
979
ق
60. قضیة ناتمامیت گودل و فلسفة ذهن
المؤلف: کامران قیوم زاده
المکتبة: (طهران)
موضوع: هوش مصنوعی;قضایای ناتمامیت گودل;مکانیک گرایی;ضد مکانیک گرایی;استدلال پن روز;
